x = 0xfffffffffff
